121. Forcing, Arithmetic, division rings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : forcing )Model theory(,Model theory,Division rings

رده :
QA
3
.
L28
no
.
454

122. Forcing and classifying topoi /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Categories (Mathematics),Forcing (Model theory),Toposes

رده :
QA169
.
A57
no
.
295

123. Forcing, arithmetic, and division rings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Forcing )Model theory(,، Model theory,، Division rings

رده :
QA
3
.
L28
Vol
.
454

124. Forcing, arithmetic, division rings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Forcing )Model theory(,، Model theory,، Division rings

رده :
QA
3
.
L28
no
.
454

125. Forcing, arithmetic, division rings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Forcing )Model theory(,، Model theory,، Division rings

رده :
QA
9
.
7
.
H5
1975

126. Forcing, arithmetic, divison rings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Forcing )Model theory(,، Model theory,، Division rings

رده :
QA
1
.
L4
v
.
454

127. Forcing idealized

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z37
2008

128. Forcing idealized

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z34F6

129. Freyd's models for the independence of the axiom of choice /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Axiom of choice,Forcing (Model theory),Toposes

رده :
QA248
.
A57
no
.
404

130. Fundamentals of mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.

رده :
QA9
.
H527
2005

131. Fundamentals of stability theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Model theory,، Stability

رده :
QA
9
.
7
.
B35
1988

132. Fundamentals of stability theory

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Model theory,Stability

رده :
QA9
.
7
.
B35
2016

133. Fundamentals of stability theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Model theory,، Stability

رده :
QA
9
.
7
.
B35
1988

134. Generative complexity in algebra

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Ordered algebraic structures,، Model theory,، Algebraic varieties -- Classification theory

رده :
QA
3
.
A475
no
.
828

135. Geometric stability theory /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Model theory

رده :
QA9
.
7
.
P54
1996

136. Geometric stability theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Model theory

رده :
QA
9
.
7
.
P54

137. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg", Mulheim an der Ruhr, Germany

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Group theory,Congresses ، Model theory

رده :
QA
174
.
G775

138. Groups of finite Morley rank

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Model theory,، Finite groups

رده :
QA
9
.
7
.
B67
1994

139. Groups of finite Morley rank

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Model theory,Finite groups

رده :
QA
.
B67
9
.
7
1994

140. Groups of finite Morley rank

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Model theory , Finite groups

رده :
QA
9
.
7
.
B67
1994